Stack machine - PDFSEARCH.IO - Document Search Engine

Stack machine
Results: 145

#	Item
21	The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD Add to Reading List Source URL: static.usenix.org Language: English - Date: 2011-11-23 16:29:49 Computability theory Models of computation Turing machine Theory of computation Turing completeness Halting problem Universal Turing machine Parsing Deterministic pushdown automaton Theoretical computer science Computer science Applied mathematics
22	Towards native higher-order remote procedure calls Olle Fredriksson Dan R. Ghica Bertram Wheen Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-02-17 11:40:06 Subroutines Procedural programming languages Tree traversal Stack Pointer Closure ALGOL 68 SECD machine Tree Software engineering Computing Computer programming
23	Weight, Weight, Don’t Tell Me: Using Scales to Select Ballots for Auditing Cynthia Sturton1 , Eric Rescorla2 , and David Wagner1 1 University of California, Berkeley Add to Reading List Source URL: www.usenix.org Language: English - Date: 2009-06-25 16:20:07 Accountability Electronic voting Ballot Absentee ballot Voting machine Secret ballot Stack Election recount Vote counting system Elections Politics Government
24	Version 1.0 Open X and Arm David May: April 25, 2013 Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-05-02 09:46:47 C programming language Procedural programming languages Algebra Machine code Mathematical notation Operand DEC Alpha Stack C Computing Software engineering Computer programming
25	J1: a small Forth CPU Core for FPGAs James Bowman Willow Garage Menlo Park, CA Add to Reading List Source URL: excamera.com Language: English - Date: 2010-11-21 15:20:10 Instruction set architectures Central processing unit Stack machine Microcontrollers Instruction set MIPS architecture Reduced instruction set computing MicroBlaze Forth Computer architecture Computing Computer hardware
26	Portable Software Fault Isolation Joshua A. Kroll Computer Science Department Princeton University Princeton, NJ Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-05-13 12:55:36 Software bugs Data types Primitive types Memory management Pointer C Memory safety Stack machine Type safety Software engineering Computing Computer programming
27	Version 1.0 Open X and Arm David May: April 25, 2013 Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-05-02 09:46:47 C programming language Procedural programming languages Algebra Machine code Mathematical notation Operand DEC Alpha Stack C Computing Software engineering Computer programming
28	Microsoft Word - REV-ARTdoc Add to Reading List Source URL: www.currentscience.ac.in Language: English - Date: 2015-05-18 06:52:38 Compiler optimizations Software Programming language implementation Peephole optimization Code generation Superoptimization Compiler Program optimization Stack machine Software engineering Compiler construction Computing
29	Towards Active Applications: the Virtual Virtual Machine Approach.∗ F. Ogel, G. Thomas, I. Piumarta, A. Galland†, B. Folliot, C. Baillarguet Regal group, LIP6 - Universit´e Pierre et Marie Curie, 4, place Jussieu, 7 Add to Reading List Source URL: vvm.lip6.fr Language: English - Date: 2004-10-07 15:47:58 Virtual machines Computing platforms Embedded operating systems Real-time operating systems Programming language implementation Kernel Operating system Stack machine Virtual Processor System software Computing Software
30	Discovering Nontrivial and Functional Behavior in Register Machines Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-09-03 11:08:27 Computing Computer hardware Register machine Program counter Instruction set Processor register Stack machine Random access machine Models of computation Central processing unit Computer architecture